Fundraising September 15, 2024 – October 1, 2024 About fundraising
6

Formal semantics in modern type theories with coercive subtyping

Year:
2012
Language:
english
File:
PDF, 1.77 MB
english, 2012
11

Classical predicative logic-enriched type theories

Year:
2010
Language:
english
File:
PDF, 619 KB
english, 2010
15

Removal of thallium in water/wastewater: A review

Year:
2019
Language:
english
File:
PDF, 2.07 MB
english, 2019
22

Emergy Evaluation of the Natural Value of Water Resources in Chinese Rivers

Year:
2009
Language:
english
File:
PDF, 296 KB
english, 2009
25

Formal semantics in modern type theories with coercive subtyping

Year:
2012
Language:
english
File:
PDF, 402 KB
english, 2012
36

Weyl's predicative classical mathematics as a logic-enriched type theory

Year:
2010
Language:
english
File:
PDF, 496 KB
english, 2010